kzg-rs 
An endpoint for verify_kzg_proof in c-kzg-4844 using bls12_381. Passes all of the verify_kzg_proof tests in c-kzg-4844/verify_kzg_proof.
Cycle Counts in SP1
| Test | Cycle Count |
|---|---|
| Verify blob KZG proof | 27,166,173 |
| Verify blob KZG proof batch (10 blobs) | 196,571,578 |
| Evaluate polynomial in evaluation form | 59,370,556 |
| Compute challenge | 57,341,532 |
| Verify KZG proof | 9,390,640 |
This crate has been used in a fork of SP1's patch of revm, which passes all tests. kzg-rs is based on this slightly modified fork of bls12_381. This crate works in [no_std] mode.
Usage
Or add
= { = "0.2.3" }
You can rebuild roots_of_unity.bin, g1.bin, and g2.bin by running